Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
521	Monday August 24th 9:[removed]:00 Albert Atserias: Four subareas of the theory of constraints, and their links (invited talk) 10:[removed]:30 coffee break Add to Reading List Source URL: www.mfcs.sk Language: English - Date: 2009-08-10 08:22:15 Applied mathematics Graph theory Graph coloring Cellular automaton Nested word Computability Theoretical computer science Mathematics Automata theory
522	strategy_machines_technical.dvi Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-08-06 09:56:47 Computability theory Computer science Formal methods Turing machine Linear temporal logic Mealy machine Determinacy Models of computation Theory of computation Theoretical computer science
523	Call Arity Joachim Breitner Karlsruhe Institute of Technology [removed] Abstract Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Higher-order functions Universal algebra Recursion Lambda calculus Computability theory Fold Combinatory logic Map Arity Mathematics Mathematical logic Theoretical computer science
524	AISB Journal The Interdisciplinary Journal of Artificial Intelligence and the Simulation of Behaviour Volume 1 – Number 3 – July 2003 Add to Reading List Source URL: www.aisb.org.uk Language: English - Date: 2009-11-25 04:40:20 Applied mathematics Computability theory Alan Turing Models of computation Hypercomputation Turing machine Computability Cellular neural network Neural network Computer science Theoretical computer science Theory of computation
525	TWO KINDS OF PROBABILISTIC INDUCTION Ray Solomonoff Visiting Professor, Computer Learning Research Center Royal Holloway, University of London Mailing Address: P.O.B, Cambridge, Ma, U.S.A. Add to Reading List Source URL: world.std.com Language: English - Date: 2014-07-03 19:24:34 Algorithmic information theory Artificial intelligence Computability theory Probability interpretations Turing machine Ray Solomonoff Kolmogorov complexity Algorithmic probability Inductive inference Theoretical computer science Applied mathematics Theory of computation
526	Logical Methods in Computer Science Vol. 9(4:[removed], pp. 1–39 www.lmcs-online.org Submitted Published Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-12-17 05:01:37 Mathematics Formal languages Computer science Combinatorics on words Theory of computation Finite-state machine Alphabet Nondeterministic finite automaton Computability Automata theory Models of computation Theoretical computer science
527	Automated Certified Proofs with CiME3∗ ´ Contejean1,2 E. P. Courtieu3 Add to Reading List Source URL: cedric.cnam.fr Language: English - Date: 2011-02-13 18:15:50 Applied mathematics Automated theorem proving Formal languages Logic in computer science Computability theory Termination analysis Mathematical proof Rewriting Heuristic Theoretical computer science Mathematics Mathematical logic
528	arXiv:1312.4455v1 [quant-ph] 16 Dec[removed]The Universe as Quantum Computer Seth Lloyd Department of Mechanical Engineering Massachusetts Institute of Technology Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-12-16 20:26:09 Theory of computation Computability theory Alan Turing Turing machine Digital physics Church–Turing thesis Computational complexity theory Computation Halting problem Theoretical computer science Computer science Mathematics
529	PDF Document Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-04-24 19:22:11 Functional languages Procedural programming languages Data types Computability theory Theoretical computer science Lambda calculus Recursion Lisp Map Software engineering Computing Computer programming
530	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams

UPDATE